<?php 
 include_once dirname(__FILE__)."/config.php";
 class etat_eval extends etat_eval_principal{
}
?>